#ifndef _INT_HEADER
#define _INT_HEADER

void Int_init();

#endif
